Linear Types for Programmers
twey.ioĀ·2dĀ·
Discuss: Hacker News
šŸ’»Programming languages
Axum Is Shaping the Future of Web Development in Rust
dev.toĀ·19hĀ·
Discuss: DEV
šŸ”ŒInterface Evolution
Uncovering memory corruption in NVIDIA Triton (as a new hire)
blog.trailofbits.comĀ·33m
šŸ§ŖBinary Fuzzing
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.beĀ·1d
āš—ļøAlgebraic Coding
Week 31 Status
blogs.gnome.orgĀ·13h
šŸŽÆGradual Typing
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.comĀ·1dĀ·
Discuss: Hacker News
šŸ¦€Rust Verification
Beyond Manually Designed Pruning Policies with Second-Level Performance Prediction: A Pruning Framework for LLMs
arxiv.orgĀ·7h
šŸ’»Local LLMs
The Generativity Pattern in Rust
arhan.shĀ·17hĀ·
Discuss: Lobsters, Hacker News, r/programming
šŸ¦€Rust Macros
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.comĀ·1dĀ·
Discuss: Hacker News
šŸ’§Liquid Types
A New Concurrent ML in Guile Scheme
wingolog.orgĀ·2hĀ·
Discuss: Hacker News
šŸ”„Lens Laws
How Rust powers Proton Authenticator
proton.meĀ·16h
šŸ¦€Rust Borrowing
Understanding Stack Traces in Elixir
blog.appsignal.comĀ·1hĀ·
Discuss: Hacker News
šŸšShell Monads
Surgical Rewrite from Go to Rust
wxiaoyun.comĀ·1dĀ·
Discuss: Hacker News
šŸ¦€Embedded Rust
In Support Of Shitty Types
lucumr.pocoo.orgĀ·17hĀ·
Discuss: Lobsters, Hacker News
šŸŽÆGradual Typing
Challenges of Pseudocode Expansion
funcall.blogspot.comĀ·1dĀ·
Discuss: www.blogger.com
šŸ”—Lisp
Depth=2
tristanpemble.comĀ·16hĀ·
Discuss: Hacker News
šŸ”—Dependency Resolution
SIEVE ā€” a better algorithm than LRU?
blog.apnic.netĀ·6h
šŸ’ØCache Analysis
How we made JSON.stringify more than twice as fast
v8.devĀ·1dĀ·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
šŸŒŠStreaming Compression
Running C++ on Cloudflare WASM
saus.appĀ·2dĀ·
Discuss: Hacker News
šŸ§©WASM Components
Let's hax0r a GCā€¦ (eventually)
h4x0r.orgĀ·20hĀ·
Discuss: Lobsters, Hacker News, r/programming
šŸ§ Memory Allocators